s0,0,s1,1
s1,1,s2,<
s2,0,s3,2
s3,2,s3,>
a3,1,s3,>